(read_char): If kbd_buffer_get_event returns nil, redisplay and retry.
authorRichard M. Stallman <rms@gnu.org>
Tue, 25 May 1993 22:21:11 +0000 (22:21 +0000)
committerRichard M. Stallman <rms@gnu.org>
Tue, 25 May 1993 22:21:11 +0000 (22:21 +0000)
commit1e12dd87cf755ea090a7b7b13994910e6ce83249
treeba0ec654b2e711e44b49b2249aa58e60b7b0bc04
parentfedc33f7a838ed2e2ad7f47f4600753ac3e58ca9
(read_char): If kbd_buffer_get_event returns nil, redisplay and retry.
(kbd_buffer_get_event): If event is handled here, return nil.
src/keyboard.c